From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language
نویسندگان
چکیده
The Telecommunications industry’s demand has grown immensely for cost-effective methods for software validation & verification of mobile products. Semi-formal methods such as Use Case Maps and formal methods such as SDL are starting to be widely used. In this paper we show how to integrate these two techniques in terms of quickly validating high level designs in SDL against desired abstract behaviours in UCM notation.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملUse Case Maps and LOTOS for the prototyping and validation of a mobile group call system
SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is g...
متن کاملAn efficient CAD tool for High-Level Synthesis of VLSI digital transformers
Digital transformers are considered as one of the digital circuits being widely used in signal and data processing systems, audio and video processing, medical signal processing as well as telecommunication systems. Transforms such as Discrete Cosine Transform (DCT), Discrete Wavelet Transform (DWT) and Fast Fourier Transform (FFT) are among the ones being commonly used in this area. As an illu...
متن کاملOn the Relationship between use-case maps and Message Sequence Charts
The time it takes to develop telecommunication standards must be reduced to allow companies to get features to the market faster. In order to achieve this objective, a process based on the combination of a set of modeling techniques has been proposed by Nortel Networks in the context of the Wireless Intelligent Network (WIN) standard development. This process combines the use of standard notati...
متن کاملHigh-Level Specification of Behavioural Hardware Models with MODES
The ever increasing complexity of digital hardware, forces the hardware designer to switch from a low-level capture-andsimulation process to a high-level design-and-synthesis process. In order to assist the designer during the specification phase, we designed MODES, a new high-level specification environment. MODES integrates graphical specification capture in various behavioural representation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000